[PIP2-like future input] Please enter:
- the context matrix,
1 2
   1   0
- the bignum column (start at 0, -1 if no bignum),
-1
- the constraint matrix.
26 6
   1   3   0   0   0 -98300
   1  -3   0   0   0 98308
   1 432  36   6   1 -14757611
   1 -432 -36  -6  -1 14758510
   1  54   9   3   1 -1923190
   1 -54  -9  -3  -1 1923303
   1  48  12   6   3 -1782238
   1 -48 -12  -6  -3 1782339
   1  27   9   6   4 -1045164
   1 -27  -9  -6  -4 1045221
   1 432 180 150 125 -17434139
   1 -432 -180 -150 -125 17435038
   1   6   3   3   3 -252443
   1  -6  -3  -3  -3 252456
   1 432 252 294 343 -18949275
   1 -432 -252 -294 -343 18950174
   1  27  18  24  32 -1234720
   1 -27 -18 -24 -32 1234777
   1  48  36  54  81 -2288453
   1 -48 -36 -54 -81 2288554
   1  54  45  75 125 -2684050
   1 -54 -45 -75 -125 2684163
   1 432 396 726 1331 -22386005
   1 -432 -396 -726 -1331 22386904
   1   3   3   6  12 -162072
   1  -3  -3  -6 -12 162080

(list
 #[ 32767]
 #[ 16407]
 #[ 1989]
 #[ 218]
)
